perm filename MICHIE.LE2[LET,JMC] blob sn#534944 filedate 1980-09-16 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub[let,jmc]" source
C00004 ENDMK
C⊗;
.require "let.pub[let,jmc]" source;
∂AIL Professor Donald Michie↓Department of Computer Science
↓222 Digital Computer Laboratory↓Urbana, Illinois 61801∞
.<<217 333-4428>>

Dear Donald:

	Thanks for your letter of 8 Sept.  I didn't remember our
discussion as argumentative.

	Before I can have an opinion on the correspondence between
partially constructed traffic lights and partially constructed
decision trees, I have to get my thoughts in better order about
physical construction.  Maybe I can answer your letter better
later or send you something that may be helpful.  FOL is not
a problem solving system in itself, so eventually we will need
one that has sufficient epistemological generality in the
objects it can contemplate.  Lew Creary here, a philosopher by
background, is thinking about such a problem solver.

	The workshop program looks interesting, and I'll give you
a definite answer by the end of November, but it conflicts with
a meeting in Spain I want to go to on te way to spend May in
Marseille.  I may come but leave on the 24th or evening of 23rd.

.reg

cc: Creary